#include "RunTimeChecker.h"

#ifdef GET_TOTAL_RUN_TIME
RunTimeChecker __RunTimeChecker::r;
#endif